" Angelo Gargantini" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Автор: Gordon Fraser, Автор: Angelo Gargantini

Категория: Компьютеры

Размер книги: 2.51 Mb

Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003

Автор: Egon Börger, Автор: Angelo Gargantini, Автор: Elvinia Riccobene

Категория: CsLn_

Размер книги: 3.93 Mb